Proof and computation - digitization in mathematics, computer science and philosophy
- Originaltitel
- Proof and computation (World Scientific Publishing Company)
- Författare
- (Edited by Klaus Mainzer, Technische Universität München, Germany, Peter Schuster, Università degli Studi di Verona, Italy, Helmut Schwichtenberg, Ludwig-Maximilians-Universität München, Germany.)
- Genre
- Bibliografi
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| World Scientific | 2018 | New Jersey, New Jersey | viii, 291 pages illustrations 24 cm | 978-981-327-093-0 |